@border_color: #888;
@border_color_hover: @border_color + 50%;
@bg_color : #252525;
@focus_color : @el_focus_color;

@inner_border_color: @el_border_color;
